Realizing Impure Functions in Interaction Nets
نویسنده
چکیده
We propose and illustrate first steps towards an extension of interaction nets based on monads to handle functions with side effects (e.g., I/O, exceptions). We define three monads for common types of side effects and show their correctness by proving the monad laws.
منابع مشابه
Realizing Monads in Interaction Nets via Generic Typed Rules
Interaction net systems are a model of computation based on graph rewriting. They enjoy various nice properties which make them a promising basis for a functional programming language. However, mechanisms to model impure functions are indispensable for a practical language. A natural approach to achieve this goal is the systematic use of monads. Yet, specifying the appropriate monads for impure...
متن کاملAn impure solution to the problem of matching fans
We propose an algorithm to solve the problem of matching fans in interaction net implementations of optimal reduction for the pure untyped lambda calculus without use of any additional agent types. The algorithm relies upon a specific interaction nets reduction strategy and involves side effects in one of interaction rules.
متن کاملSplitting of Actions , Higher - Dimensional Automata , and Net Synthesis Eric Badouel
The behaviour of pure Petri nets (i.e. without side condition) is given by ordinary automata because all information about concurrency is encoded in the structure of the marking graphs. By contrast, the behaviour of (possibly) impure nets requires higher-dimensional automata: independence should in that case be made explicit. These higher-dimensional automata are step transition systems in the ...
متن کاملSplitting of Actions, Higher-Dimensional Automata, and Net Synthesis
The behaviour of pure Petri nets (i.e. without side condition) is given by ordinary automata because all information about concurrency is encoded in the structure of the marking graphs. By contrast, the behaviour of (possibly) impure nets requires higher-dimensional automata: independence should in that case be made explicit. These higher-dimensional automata are step transition systems in the ...
متن کاملRole of MicroRNAs in BCG Therapy by the Induction of Neutrophil Extracellular Traps in Bladder Cancer
The treatment of bladder cancer is usually performed by Bacillus Calmette-Guerin (BCG) instillation. BCG therapy is a common therapeutic method with fewer side effects compared with chemotherapy, radiotherapy, etc. BCG can also inhibit the progression and recurrence of bladder cancer by inducing apoptosis pathways, arrest cell cycle, autophagy, and neutrophil extracellular traps (NETs) formatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010